English translation for "mechanical theorem proving"

机器证明

Related Translations:

prove的过去式和过去分词:  proved

theorems:  定理

modularity theorem:  谷山-志村定理谷山志村猜想

isomorphism theorem:  第一同构定理同构基本定理同态基本定理

wieners theorem:  维纳自相关定理

uniqueness theorem:  唯一性定理一义性定理

bound theorem:  界限定理

cauchy theorem:  柯西定理

bayess theorem:  贝叶斯定理

dirichlet theorem:  狄利克雷定理

Example Sentences:

	1.	In 1989 , academician wu wen - tsun forwards wu differential characteristic method which establish theoretical basis for mechanical theorem proving of differential geometry and the research of automatic reasoning 1989年吴文俊院士提出了吴?微分特征列法，为微分几何定理的机械化证明和自动推理的理论研究奠定了理论基础。
	2.	6 wu w t . basic principles of mechanical theorem proving in geometries . volume i : part of elementary geometries , beijing : science press , 1984 ; springer 1994 . 7 wu w t . mathematics mechanization 2提供了一种基于吴方法的增元消元法的求解方程组独立个数的数学新思路，不仅可以被数学领域而且可以被工程领域里的研究人员所借鉴。

Similar Words：

"mechanical testing hall" English translation, "mechanical testing machine" English translation, "mechanical testing of metals" English translation, "mechanical testing screen" English translation, "mechanical texturing" English translation, "mechanical theory of friction" English translation, "mechanical theory proving" English translation, "mechanical therapy" English translation, "mechanical thermometry" English translation, "mechanical thickener" English translation